Fiore, Marcelo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Lawvere theories and C-systems

Fiore, Marcelo, Voevodsky, Vladimir

Journal:

Proceedings of the American Mathematical Society

Year:

2020

File:

PDF, 257 KB

2020

2

An objective representation of the Gaussian integers

Marcelo Fiore, Tom Leinster

Journal:

Journal of Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 291 KB

english, 2004

3

Objects of categories as complex numbers

Marcelo Fiore, Tom Leinster

Journal:

Advances in Mathematics

Year:

2005

Language:

english

File:

PDF, 234 KB

english, 2005

4

Tumor Microenvironment Remodeling by 4-Methylumbelliferone Boosts the Antitumor Effect of Combined Immunotherapy in Murine Colorectal Carcinoma

Malvicini, Mariana, Fiore, Esteban, Ghiaccio, Valentina, Piccioni, Flavia, Rizzo, Miguel, Olmedo Bonadeo, Lucila, García, Mariana, Rodríguez, Marcelo, Bayo, Juan, Peixoto, Estanislao, Atorrasagasti, C

Journal:

Molecular Therapy

Year:

2015

Language:

english

File:

PDF, 1.50 MB

english, 2015

5

Unique factorisation lifting functors and categories of linearly-controlled processes

BUNGE, MARTA, FIORE, MARCELO P.

Journal:

Mathematical Structures in Computer Science

Year:

2000

Language:

english

File:

PDF, 408 KB

english, 2000

6

Two models of synthetic domain theory

Marcelo P. Fiore, Giuseppe Rosolini

Journal:

Journal of Pure and Applied Algebra

Year:

1997

Language:

english

File:

PDF, 688 KB

english, 1997

7

An abstract characterization of

Marcelo Fiore, Tom Leinster

Journal:

Semigroup Forum

Year:

2010

Language:

english

File:

PDF, 477 KB

english, 2010

8

Double effort: Parental behavior of wild Azara's owl monkeys in the face of twins

Huck, Maren, Van Lunenburg, Mari, Dávalos, Victor, Rotundo, Marcelo, Di Fiore, Anthony, Fernandez-Duque, Eduardo

Journal:

American Journal of Primatology

Year:

2014

Language:

english

File:

PDF, 275 KB

english, 2014

9

Isomorphisms of generic recursive polynomial types

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 167 KB

english, 2004

10

[ACM Press the 43rd Annual ACM SIGPLAN-SIGACT Symposium - St. Petersburg, FL, USA (2016.01.20-2016.01.22)] Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016 - A theory of effects and resources: adjunction models and polarised calculi

Curien, Pierre-Louis, Fiore, Marcelo, Munch-Maccagnoni, Guillaume

Year:

2016

Language:

english

File:

PDF, 494 KB

english, 2016

11

Chronic hyperprolactinemia evoked by disruption of lactotrope dopamine D2 receptors impacts on liver and adipocyte genes related to glucose and insulin balance

Luque, Guillermina María, Lopez-Vicchi, Felicitas, Ornstein, Ana María, Brie, Belén, De Winne, Catalina, Fiore, Esteban, Perez-Millan, Maria Inés, Mazzolini, Guillermo, Rubinstein, Marcelo, Becu-Villa

Journal:

American Journal of Physiology-Endocrinology and Metabolism

Year:

2016

Language:

english

File:

PDF, 1.22 MB

english, 2016

12

The analysis of Left Atrial Function predicts the severity of functional impairment in chronic heart failure: The FLASH multicenter study

Cameli, Matteo, Sciaccaluga, Carlotta, Loiacono, Ferdinando, Simova, Iana, Miglioranza, Marcelo H., Nistor, Dan, Bandera, Francesco, Emdin, Michele, Giannoni, Alberto, Ciccone, Marco M., Devito, Fiore

Journal:

International Journal of Cardiology

Year:

2019

Language:

english

File:

PDF, 2.17 MB

english, 2019

13

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - Second-Order and Dependently-Sorted Abstract Syntax

Year:

2008

Language:

english

File:

PDF, 449 KB

english, 2008

14

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums

Balat, Vincent, Di Cosmo, Roberto, Fiore, Marcelo

Year:

2004

Language:

english

File:

PDF, 185 KB

english, 2004

15

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums

Balat, Vincent, Di Cosmo, Roberto, Fiore, Marcelo

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 185 KB

english, 2004

16

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - A type theory for cartesian closed bicategories (Extended Abstract)

Fiore, Marcelo, Saville, Philip

Year:

2019

Language:

english

File:

PDF, 464 KB

english, 2019

17

Preface

Luca Cardelli, Marcelo Fiore, Glynn Winskel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 124 KB

english, 2007

18

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Isomorphisms of generic recursive polynomial types

Year:

2004

Language:

english

File:

PDF, 167 KB

english, 2004

19

An enrichment theorem for an axiomatisation of categories of domains and continuous functions

FIORE, MARCELO P.

Journal:

Mathematical Structures in Computer Science

Year:

1997

Language:

english

File:

PDF, 753 KB

english, 1997

20

Classical logic with Mendler induction

Devesas Campos, Marco, Fiore, Marcelo

Journal:

Journal of Logic and Computation

Year:

2020

File:

PDF, 3.94 MB

2020

21

Acute diffuse pneumocephalus resulting from chronic intranasal cocaine abuse

Roberto Gazzeri, Marcelo Galarza, Alex Alfieri, Claudio Fiore

Journal:

Acta Neurochirurgica

Year:

2011

Language:

english

File:

PDF, 85 KB

english, 2011

22

Evaluating methods for purifying cyanobacterial cultures by qPCR and high-throughput Illumina sequencing

Heck, Karina, Machineski, Gabriela Silva, Alvarenga, Danillo Oliveira, Vaz, Marcelo Gomes Marçal Vieira, de Mello Varani, Alessandro, Fiore, Marli Fátima

Journal:

Journal of Microbiological Methods

Year:

2016

Language:

english

File:

PDF, 490 KB

english, 2016

23

The Bicategory-Theoretic Solution of Recursive Domain Equations

Gian Luca Cattani, Marcelo P. Fiore

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 437 KB

english, 2007

24

Fibred models of processes

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

File:

PDF, 22 KB

1999

25

Comparing operational models of name-passing process calculi

Marcelo Fiore, Sam Staton

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 737 KB

english, 2006

26

A congruence rule format for name-passing process calculi

Marcelo Fiore, Sam Staton

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 1015 KB

english, 2009

27

Human umbilical cord perivascular cells-derived extracellular vesicles mediate the transfer of IGF-I to the liver and ameliorate hepatic fibrogenesis in mice

Fiore, Esteban, Domínguez, Luciana M., Bayo, Juan, Malvicini, Mariana, Atorrasagasti, Catalina, Rodriguez, Marcelo, Cantero, María José, García, Mariana, Yannarelli, Gustavo, Mazzolini, Guillermo

Journal:

Year:

2019

Language:

english

File:

PDF, 2.30 MB

english, 2019

28

Monilinema gen. nov., a homocytous genus (Cyanobacteria, Leptolyngbyaceae) from salineâalkaline lakes of Pantanal wetlands, Brazil

da Silva Malone, Camila Francieli, GenuÃ¡rio, Diego Bonaldo, Vaz, Marcelo Gomes MarÃ§al Vieira, Fiore, Marli FÃ¡tima, SantâAnna, CÃ©lia Leite

Journal:

Journal of Phycology

Year:

2020

File:

PDF, 14.19 MB

2020

29

Use of Tissue-Glue–Coated Collagen Sponge (TachoSil) to Repair Minor Cerebral Dural Venous Sinus Lacerations

Gazzeri, Roberto, Galarza, Marcelo, Fiore, Claudio, Callovini, Giorgio, Alfieri, Alex

Journal:

Year:

2015

Language:

english

File:

PDF, 276 KB

english, 2015

30

Heterocyte-forming cyanobacteria from Brazilian saline-alkaline lakes

Genuário, Diego Bonaldo, Andreote, Ana Paula Dini, Vaz, Marcelo Gomes Marçal Vieira, Fiore, Marli Fátima

Journal:

Molecular Phylogenetics and Evolution

Year:

2017

Language:

english

File:

PDF, 724 KB

english, 2017

31

Microscopía electrónica de Histoplasma capsulatum aislado de un paciente con histoplasmosis diseminada

Pedersen, Dina, Fiore, Carlos, Arechavala, Alicia, Paniccia, Laura, Occhionero, Marcelo

Journal:

Revista argentina de microbiología

Year:

2018

File:

PDF, 611 KB

2018

32

Analytic functors between presheaf categories over groupoids

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 628 KB

english, 2014

33

4Mu Decreases CD47 Expression on Hepatic Cancer Stem Cells and Primes a Potent Antitumor T Cell Response Induced by Interleukin-12

Rodríguez, Marcelo M., Fiore, Esteban, Bayo, Juan, Atorrasagasti, Catalina, García, Mariana, Onorato, Agostina, Domínguez, Luciana, Malvicini, Mariana, Mazzolini, Guillermo

Journal:

Molecular Therapy

Year:

2018

Language:

english

File:

PDF, 2.45 MB

english, 2018

34

A Coinduction Principle for Recursive Data Types Based on Bisimulation

Marcelo P. Fiore

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 761 KB

english, 1996

35

Failure rates and complications of interspinous process decompression devices: a European multicenter study

Gazzeri, Roberto, Galarza, Marcelo, Neroni, Massimiliano, Fiore, Claudio, Faiola, Andrea, Puzzilli, Fabrizio, Callovini, Giorgio, Alfieri, Alex

Journal:

Neurosurgical FOCUS

Year:

2015

Language:

english

File:

PDF, 2.62 MB

english, 2015

36

Remarks on isomorphisms in typed lambda calculi with empty and sum types

Marcelo Fiore, Roberto Di Cosmo, Vincent Balat

Journal:

Annals of Pure and Applied Logic

Year:

2006

Language:

english

File:

PDF, 265 KB

english, 2006

37

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 100 KB

english, 2007

38

Digging the topology of rock art in northwestern Patagonia

Vargas, Fernando E, Lanata, José L, Abramson, Guillermo, Kuperman, Marcelo N, Fiore, Danae, Estrada, Ernesto

Journal:

Journal of Complex Networks

Year:

2019

Language:

english

File:

PDF, 1.55 MB

english, 2019

39

Acute Hemorrhagic Cyst of the Ligamentum Flavum

Gazzeri, Roberto, Canova, Alessandro, Fiore, Claudio, Galarza, Marcelo, Neroni, Massimiliano, Giordano, Marco

Journal:

Journal of Spinal Disorders & Techniques

Year:

2007

Language:

english

File:

PDF, 139 KB

english, 2007

40

Volatile Compounds Produced by Cyanobacteria Isolated from Mangrove Environment

Armstrong, Lorene, Vaz, Marcelo Gomes Marçal Vieira, Genuário, Diego Bonaldo, Fiore, Marli Fátima, Debonsi, Hosana Maria

Journal:

Current Microbiology

Year:

2019

File:

PDF, 673 KB

2019

41

[ACM Press the 4th ACM SIGPLAN international conference - Pittsburgh, PA, USA (2002.10.06-2002.10.08)] Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '02 - Semantic analysis of normalisation by evaluation for typed lambda calculus

Year:

2002

Language:

english

File:

PDF, 301 KB

english, 2002

42

Comparing Operational Models of Name-Passing Process Calculi

Marcelo Fiore, Sam Staton

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 276 KB

english, 2004

43

Anterior expandable cylindrical cage reconstruction after cervical spinal metastasis resection

Alex Alfieri, Roberto Gazzeri, Massimiliano Neroni, Claudio Fiore, Marcelo Galarza, Stefano Esposito

Journal:

Clinical Neurology and Neurosurgery

Year:

2011

Language:

english

File:

PDF, 320 KB

english, 2011

44

Nonheterocytous cyanobacteria from Brazilian saline-alkaline lakes

Andreote, Ana Paula Dini, Vaz, Marcelo Gomes Marçal Vieira, Genuário, Diego Bonaldo, Barbiero, Laurent, Rezende-Filho, Ary Tavares, Fiore, Marli Fátima, Raven, J.

Journal:

Journal of Phycology

Year:

2014

Language:

english

File:

PDF, 666 KB

english, 2014

45

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic

Fiore, Marcelo, Hamana, Makoto

Year:

2013

Language:

english

File:

PDF, 348 KB

english, 2013

46

Majority vote model with ancillary noise in complex networks

Encinas, J.M., Chen, Hanshuang, de Oliveira, Marcelo M., Fiore, Carlos E.

Journal:

Physica A: Statistical Mechanics and its Applications

Year:

2019

Language:

english

File:

PDF, 468 KB

english, 2019

47

Order-enrichment for categories of partial maps

Fiore, Marcelo P.

Journal:

Mathematical Structures in Computer Science

Year:

1995

Language:

english

File:

PDF, 1.42 MB

english, 1995

48

Topology via Logic: Steven Vickers, (Cambridge University Press) 0 521 36062 5 hardback, 0 521 57651 2 paperback

Marcelo P Fiore

Journal:

Science of Computer Programming

Year:

1999

Language:

english

File:

PDF, 246 KB

english, 1999

49

Finite-size scaling for discontinuous nonequilibrium phase transitions

de Oliveira, Marcelo M., da Luz, M. G. E., Fiore, Carlos E.

Journal:

Physical Review E

Year:

2018

Language:

english

File:

PDF, 430 KB

english, 2018

50

EphA3 Expressed in the Chicken Tectum Stimulates Nasal Retinal Ganglion Cell Axon Growth and Is Required for Retinotectal Topographic Map Formation

Ortalli, Ana Laura, Fiore, Luciano, Di Napoli, Jennifer, Rapacioli, Melina, Salierno, Marcelo, Etchenique, Roberto, Flores, Vladimir, Sanchez, Viviana, Carri, Néstor Gabriel, Scicolone, Gabriel, Sugih

Journal:

Year:

2012

Language:

english

File:

PDF, 1.21 MB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски